David Lariviere

نویسنده

  • David Lariviere
چکیده

Introduction: The purpose of my project was to understand and evaluate currently available formal verification tools from Microsoft for the purpose of verifying window drivers. I eventually applied combinations of the Microsoft Verification tools to four separate drivers. The first was an extremely simple “Hello World” driver, based on an introduction to Windows Drivers found online. The second driver was PortTalk, an open source driver for communicating with the parallel port that I first proposed as the target of my project. The third was an example driver included in the Microsoft Driver Kit for use with SDV. Finally, the fourth was another custom driver developed for this project, based off of several online driver tutorials, accompanied with a user-mode program for communicating with and testing the driver.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Fuel Price Increases and the Timing of Changes in Household Driving Decisions

Using the oil price increase of 1979 as a natural experiment and several event study specifications, this paper finds evidence that the oil spike induced significant decreases in carbon emissions on both the intensive (miles driven) and extensive (auto fuel efficiency) margins. Further, it appears that substitution on the intensive margin occurred instantaneously whereas extensive margin substi...

متن کامل

Genetics of neuropathic pain

Neuropathic pain affects numerous patients who have sustained damage to the nervous system. It remains unknown why only the minority of patients who sustain damage to the nervous system develops signs and symptoms of neuropathic pain, nor why treatments remain inadequate for many patients. This review highlights the evidence from animal studies of the genetic mechanisms of individual difference...

متن کامل

The Power of the Little Blue Pill: Innovations and Implications of Life Style Drugs in an Aging Population

The launch of Viagra in April 1998 led to a historically unprecedented high usage of erectile dysfunction (ED) drugs. We test whether Viagra’s introduction significantly influenced outcomes for its target population such as STD rates of older men, as well as its non-target populations, such as divorces, natality, the distribution of the age spread within couples, female STDs and sexual assault ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007